]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9131965) | patch
css: Shave padding off of the quick settings menu
authorSam Hewitt <sam@snwh.org>
Wed, 31 Aug 2022 17:25:33 +0000 (14:55 -0230)
committerMarge Bot <marge-bot@gnome.org>
Sat, 3 Sep 2022 14:36:33 +0000 (14:36 +0000)
commite07132a63a584161b69447408264f4c3f31f4ff0
tree6549ee77ec05e3f19cb2398189acfc84b4e1d157tree | snapshot
parent9131965bfdba7a24dc2a59e5b92d1a3c2546883ecommit | diff
css: Shave padding off of the quick settings menu

- reduce overall menu padding
- reduce internal padding on submenu
- tweak button sizing

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2463>
data/theme/gnome-shell-sass/widgets/_quick-settings.scss diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.